Autonomic Computing - A Means of Achieving Dependability?
نویسندگان
چکیده
Autonomic Computing is emerging as a significant new approach to the design of computing systems. Its goal is the development of systems that are selfconfiguring, self-healing, self-protecting and selfoptimizing. Dependability is a long-standing desirable property of all computer-based systems. The purpose of this paper is to consider how Autonomic Computing can provide a framework for dependability.
منابع مشابه
Technologies for Autonomic Dependable Services Platform: Achievements and Future Challenges
A city is smart if it can provide ambient services for citizens and other end-users who have to tackle emergency situations, including small and wide scale accidents and incidents. These ambient services embody intelligence of autonomic systems based on heterogeneous execution platforms enhanced with services that provide mechanisms for self-adaptation of dependable applications. This paper aim...
متن کاملA Self-Optimization Method for System Service Dependability based on Autonomic Computing
Under the intrusion or abnormal attacks, how to supply system service dependability autonomously, without being degraded, is the essential requirement to network system service. Autonomic Computing can overcome the heterogeneity and complexity of computing system, has been regarded as a novel and effective approach to implementing autonomous systems to address system security issues. To cope wi...
متن کاملAdaptable and Autonomic Management System for Dependable Aerospace Computing
1-As NASA and other agencies continue to undertake ever challenging remote sensing missions, the ability of satellites and space probes to diagnose and autonomously recover from faults will be paramount. In addition, a more pronounced use of radiation-susceptible components in order to reduce cost makes the challenge of ensuring system dependability even more difficult. To meet these and other ...
متن کاملAutonomic and Dependable Computing: Moving Towards a Model-Driven Approach
The rapidly increasing complexity of computing systems is driving the movement towards autonomic systems that are capable of managing themselves without the need for human intervention. Without autonomic technologies, many conventional systems suffer reliability degradation and compromised security. Autonomic management techniques reverse this trend. This study describes the roles and functions...
متن کاملFormal Methods for the Development and Verification of Autonomic IT Systems
This chapter explores ways in which rigorous mathematical techniques termed formal methods can be employed to improve the predictability and dependability of autonomic computing. Model checking, formal specification and quantitative verification are presented in the contexts of conflict detection in autonomic computing policies, and of implementation of goal and utilityfunction policies in auto...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003